- verification flow
- верифицируемый поток данных
English-Russian dictionary of computer science and programming. 2013.
verification flow
Смотреть что такое "verification flow" в других словарях:
Flow tracer — A flow tracer is any fluid property used to track flow. The concentration of a chemical compound in the fluid can be used as a chemical tracer, and characteristics such as temperature are physical tracers. Tracers may be artificially introduced,… … Wikipedia
Costly state verification — (CSV) approach in contract theory considers contract design problem in which verification (or disclosure) of enterprise performance is costly and a lender has to pay a monitoring cost. A central result of CSV approach is that it is generally… … Wikipedia
Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these … Wikipedia
Control flow diagram — Example of a so called performance seeking control flow diagram .[1] A control flow diagram (CFD) is a diagram to describe the control flow of a business process, process or program. Contr … Wikipedia
Electroosmotic flow — (or Electro osmotic flow, often abbreviated EOF) is the motion of liquid induced by an applied potential across a capillary tube or microchannel. Electroosmotic flow is an essential component in chemical separation techniques, notably capillary… … Wikipedia
System on a chip — The AMD Geode is an x86 compatible system on a chip A system on a chip or system on chip (SoC or SOC) is an integrated circuit (IC) that integrates all components of a computer or other electronic system into a single chip. It may contain digital … Wikipedia
SystemVerilog — In the semiconductor and electronic design industry, SystemVerilog is a combined Hardware Description Language and Hardware Verification Language based on extensions to Verilog. SystemVerilog was created by the donation of the Superlog language… … Wikipedia
Josephson effect — Flow of electric current between two pieces of superconducting material (see superconductivity) separated by a thin layer of insulating material. This flow was predicted by the British physicist Brian Josephson in 1962, based on the BCS theory… … Universalium
Negative index metamaterials — A negative index metamaterial causes light to refract, or bend, differently than in more common positive refractive index materials. Negative index metamaterials or negative index materials (NIM) are artificial structures where the refractive… … Wikipedia
Current sea level rise — This article is about the current and future rise in sea level associated with global warming. For sea level changes in Earth s history, see Sea level#Changes through geologic time. Sea level measurements from 23 long tide gauge records in… … Wikipedia
Iraq — /i rak , i rahk /, n. a republic in SW Asia, N of Saudi Arabia and W of Iran, centering in the Tigris Euphrates basin of Mesopotamia. 22,219,289; 172,000 sq. mi. (445,480 sq. km). Cap.: Baghdad. Also, Irak. * * * Iraq Introduction Iraq Background … Universalium
